OSAM*.KBMS/P: A Parallel, Active, Object-Oriented Knowledge Base Server

An active object-oriented knowledge base server can provide many desirable features for supporting a wide spectrum of advanced and complex database applications. Knowledge rules, which are used to deene a variety of DB tasks to be performed automatically on the occurrence of some events, often need much more sophisticated rule speciication and control mechanisms than the traditional priority-based mechanism to capture the control structural relationships and parallel execution properties among rules. The underlying object-oriented knowledge representation model must provide a means to model the structural relationships among data entities and the control structures among rules in a uniform fashion. The transaction execution model must provide a means to incorporate the execution of structured rules in a transaction framework. Also, a parallel implementation of an active knowledge base server is essential to achieve the needed eeciency in processing nested transactions and rules. In this paper, we present the design and implementation of a parallel active OO knowledge base server which has the following features. First, the server is developed based on an extended OO knowledge representation model which models rules as objects and their control structural relationships as association types. This is analogous to the modeling of entities as objects and their structural relationships as association types. Thus, entities and rules, and their structures can be uniformly modeled. Second, the server uses a graph-based transaction model which can naturally incorporate the control semantics of structured rules and guarantee the serializable execution of rules as subtransactions. Thus, the rule execution model is uniformly integrated with that of transactions. Third, it uses an asynchronous parallel execution model to process the graph-based transactions and struc-tured rules. The server named OSAM*.KBMS/P has been implemented on a shared-nothing multiprocessor system (nCUBE2) to verify and evaluate the proposed knowledge representation model, graph-based transaction model, and asynchronous parallel execution model. The results of a performance evaluation are presented.